#include <bits/stdc++.h>

using namespace std;

const int maxn=15;
bool f[maxn][1<<maxn][maxn];
int sum[1<<maxn],cnt[1<<maxn];
int c[maxn];

inline int lowbit(const int &x){return x&(-x);}
inline const bool cmp(const int &x,const int &y){return x>y;}

int main(){
	int n,tot,lfs;

	scanf("%d",&n);
	lfs=tot=0;
	for(int i=1;i<=n;i++){
		int t;
		scanf("%d",&t);
		if(tot>=maxn) {puts("NO\n");return 0;}
		if(t==1) lfs++;else c[tot++]=t;
	}

	sort(c,c+tot,cmp);
	for(int i=0;i<tot;i++){ sum[1<<i]=c[i];cnt[1<<i]=1;}
	for(int i=0,_end_=1<<tot;i<_end_;i++){
		int t;
		if(t=(i-lowbit(i))){ sum[i]=sum[t]+sum[lowbit(i)];cnt[i]=cnt[t]+cnt[lowbit(i)];}
	}

	f[0][1][lfs]=1;
	int endBitMask=1<<tot;
	for(int i=0;i<tot;i++)
		for(int j=0;j<endBitMask;j++)
			for(int k=0;k<=lfs;k++){
				if(!f[i][j][k]) continue;
				for(int newBit=0;newBit<endBitMask;newBit++){
					if(j&newBit) continue;
					
				}
			}
}